home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
lisp
/
kcl
/
akcl
/
kcl.lha
/
lsp
/
assert.data
< prev
next >
Wrap
Text File
|
1986-07-03
|
2KB
|
87 lines
#(
#!
(lisp::in-package 'user::lisp)
#!
(lisp::export '(lisp::check-type lisp::assert lisp::ecase lisp::ccase lisp::typecase lisp::etypecase lisp::ctypecase))
#!
(lisp::in-package 'lisp::system)
(lisp::optimize (lisp::safety 2) (lisp::space 3))
lisp::do
((lisp::*print-level* 4) (lisp::*print-length* 4))
lisp::typep
lisp::quote
lisp::cerror
""
"The value of ~:@(~S~), ~:@(~S~), is not ~A."
(lisp::format lisp::*error-output* "Now continuing ...~%")
((lisp::*print-level* 4) (lisp::*print-length* 4))
""
""
"The assertion ~:@(~S~) is failed."
((lisp::format lisp::*error-output* "Now continuing ...~%"))
lisp::progn
lisp::format
lisp::*error-output*
"Please input the new value for the place ~:@(~S~): "
(lisp::finish-output lisp::*error-output*)
lisp::setf
(lisp::read)
lisp::let
((lisp::*print-level* 4) (lisp::*print-length* 4))
lisp::error
"The value of ~:@(~S~), ~:@(~S~), is ~
~#[nonsense~;not ~:@(~S~)~;neither ~:@(~S~) nor ~:@(~S~)~
~:;not ~@{~#[~;or ~]~:@(~S~)~^, ~}~]."
lisp::if
lisp::member
lisp::eql
lisp::loop
lisp::when
lisp::return
((lisp::*print-level* 4) (lisp::*print-length* 4))
""
"The value of ~:@(~S~), ~:@(~S~), is ~
~#[nonsense~;not ~:@(~S~)~;neither ~
~:@(~S~) nor ~:@(~S~)~
~:;not ~@{~#[~;or ~]~:@(~S~)~^, ~}~]."
(lisp::format lisp::*error-output* "Now continuing ...~%")
lisp::otherwise
system::typecase-error-string
""
(lisp::format lisp::*error-output* "Now continuing ...~%")
lisp::and
"The value of ~:@(~S~), ~:@(~S~), is ~?~?."
"~#[~;~;~?~;~;~? and ~?~:;~%~@{~#[~;~;and ~]~?~^, ~}~]"
"~:[~[something~;~:;~%~]~;~[~:;, but~%~]~]~
~#[~;~;not ~?~;~;neither ~? nor ~?~:;not ~@{~#[~;~;or ~]~?~^, ~}~]"
0
("one of none" lisp::nil)
1
"~:@(~S~)"
2
"either ~:@(~S~) or ~:@(~S~)"
"one of ~:@(~S~)"
lisp::satisfies
"an object satisfying ~:@(~S~)"
lisp::*
((lisp::t "anything") (lisp::nil "none") (lisp::null "nil") (lisp::common "an object of a standard data type"))
"~:[a~;an~] ~(~A~)"
"~:[a~;an~] ~:@(~S~)"
(#\A #\I #\U #\E #\O #\a #\i #\u #\e #\o)
lisp::proclaim
lisp::check-type
lisp::assert
system::ask-for-form
lisp::ecase
lisp::ccase
lisp::typecase
lisp::etypecase
lisp::ctypecase
system::typecase-error-strings
system::boin-p
lisp::or
lisp::not
lisp::remove
)